منابع مشابه
An open logical framework
The LFP Framework is an extension of the Harper-Honsell-Plotkin’s Edinburgh Logical Framework LF with external predicates, hence the name Open Logical Framework. This is accomplished by defining lock type constructors, which are a sort of -modality constructors, releasing their argument under the condition that a possibly external predicate is satisfied on an appropriate typed judgement. Lock t...
متن کاملA Logical Relations for a Logical Framework
Logical relations are a central concept used to study various higher-order type theories and occur frequently in the proofs of a wide variety of meta-theorems. Besides extending the logical relation principle to more general languages, an important research question has been how to represent and thus verify logical relation arguments in logical frameworks. We formulate a theory of logical relat...
متن کاملAn Open Badge System Framework
There’s Kareem, a 16-year-old Chicago southsider, who loves robots and movies and naturally can’t wait to see the new Transformers film, especially because they shot part of it in his hometown. He struggles in school because he does not understand how those things apply to his interests or to real life, so it’s easy to get bored and tune out. Luckily, he’s been able to develop his skills and in...
متن کاملVanilla: An Open Language Framework
end end total = 0, add = fun(n : Int) total := total + n Parser converts concrete syntax to the abstract representation Small number of language-specific components Large number of components provide abstractions common across several languages Sub-typing is handled separately to allow different sub-type regimes to be explored Interpreter uses type attributes to store type-derived information u...
متن کاملAn Open Question Answering Framework
Question answering systems are currently regarded as one of the key technologies to empower lay users to access the Web of Data. Nevertheless, they still pose hard and yet unsolved research challenges. Additionally, developing and evaluating question answering systems to address those challenges is a very complex task. We present openQA, a modular open-source platform that allows developing and...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logic and Computation
سال: 2013
ISSN: 0955-792X,1465-363X
DOI: 10.1093/logcom/ext028